Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
911	Big data processing platforms Ultrahigh-Speed Data Analysis Platform “InfoFrame DWH Appliance” KOCHU Daisuke, MIKUNI Yukinori Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:03:46 Business intelligence Formal sciences Emerging technologies Data warehouse appliance Data warehousing Netezza Data analysis Data warehouse Data mining Technology Data management Information technology management
912	XRay Views: Understanding the Internals of Classes ∗ Gabriela Ar´evalo, St´ephane Ducasse, Oscar Nierstrasz Software Composition Group University of Bern (Switzerland) {arevalo, ducasse, oscar}@iam.unibe.ch Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2010-11-06 10:42:06 Object-oriented programming Programming paradigms Knowledge representation Machine learning Software quality Formal concept analysis Object Frame language Attribute grammar Software engineering Computer programming Computing
913	Information Revolution From Data to Policy Action in Low-Income Countries: How Can Innovation Help? Matjaž Jug Add to Reading List Source URL: paris21.org Language: English - Date: 2014-12-09 11:12:55 Formal sciences Data analysis MHealth Information and communication technologies for development Mobile phone Internet Geographic information system Big data Data visualization Technology New media Mobile telecommunications
914	International Conference on Location-based Social Media Data March 13-14, 2015 Athens, Georgia, USA http://research.franklin.uga.edu/iclsm In the era of big data, increasingly sizeable datasets come from social media, pa Add to Reading List Source URL: research.franklin.uga.edu Language: English - Date: 2014-12-19 22:16:20 Formal sciences Champaign County Illinois Knowledge Data analysis Data mining Geovisualization Geographic information system University of Illinois at Urbana–Champaign Visual analytics Cartography Visualization Science
915	Identifying Traits with Formal Concept Analysis Adrian Lienhard Stephane Ducasse ´ Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2005-11-17 08:47:59 Object-oriented programming Type theory Software design patterns Trait Mixin Self Multiple inheritance Class Abstract type Software engineering Computing Computer programming
916	Automated Reliability Prediction from Formal Architectural Descriptions João M. Franco, Raul Barbosa and Mário Zenha-Rela {jmfranco,rbarbosa,mzrela} [at] dei.uc.pt University of Coimbra, Portugal Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:04 Computing Failure Materials science Reliability engineering Software quality Survival analysis Parsing Prediction Compiler Software engineering Compiler construction Computer programming
917	The Data Lake: Taking Big Data Beyond the Cloud Add to Reading List Source URL: www.boozallen.com Language: English - Date: 2015-01-09 02:43:33 Formal sciences Science Database management systems Database theory Information technology management Data analysis Big data Data mining Data warehouse Data management Business intelligence Technology
918	Advanced technologies to support big data processing Text Analysis Technology for Big Data Utilization TSUCHIDA Masaaki, ISHIKAWA Kai, KUSUI Dai, KUSUMURA Yukitaka, NAKAO Toshiyasu Abstract Since a huge amount of the te Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:04:35 Computational linguistics Formal sciences Information retrieval Data analysis Textual entailment Risk Data mining Search engine indexing Analytics Science Information science Natural language processing
919	CHAPTER TWO DEFINITION OF OBSERVER In this chapter we define the concept observer. The previous chapter introduced this notion by concrete examples. We now abstract from these examples a formal definition. We discuss th Add to Reading List Source URL: www.cogsci.uci.edu Language: English - Date: 1997-09-09 15:52:34 Probability theory Dirac measure Support Sigma-algebra Measurable function Measure Random variable Borel set Disintegration theorem Mathematical analysis Mathematics Measure theory
920	Dr. Matthias Kaiserswerth Vice President, Europe and Director, IBM Research Big Data, Analytics, Intelligence: Potenziale und Nutzen Add to Reading List Source URL: www.satw.ch Language: English - Date: 2014-10-28 09:36:01 Data management Formal sciences Power Architecture Watson Analytics Data analysis Predictive analytics Big data IBM Technology Business intelligence Computing

UPDATE